Social wasps are broadly distributed in Brazil, and their distribution is closely related to local plant composition. However, only a few studies on the diversity of these insects have been carried out in northeastern Brazil, and in Caatinga Biome the diversity is probably underestimated due to the lack of inventories for the region. Aiming at advancing the knowledge about the wasp fauna, we carried out this study from October 2005 to September 2006 in Ibipeba, northeastern Brazil. We collected 172 wasps (...) of five genera and eight species, and recorded Polybia ruficeps Schrottky, 1902 for the first time in the state of Bahia. The most abundant species was Polybia ignobilis (Haliday, 1836) (n = 69), and the least abundant were Brachygastra lecheguana (Latreille, 1824) (n = 2) and Polistes canadensis (Linnaeus, 1758) (n = 2). The present study inventory focused exclusively on the diversity of social wasps in an area of Caatinga, which contributes to advance the local fauna knowledge. (shrink)

RESUMO O presente trabalho mostra as atividades realizadas do período de 01 de julho a 01 de novembro na JRM Agropecuária. As atividades foram desenvolvidas na área de bovinocultura de leite, este trabalho foi desenvolvido sob orientação do professor mestre Rodrigo Dorneles Tortorella e supervisão do médico veterinário André Ricardo, em conjunto com o médico veterinário Breno. Durante o período de estágio foi acompanhado as atividades realizadas no setor de manejo, reprodução, bezerreiro e recria da fazenda, além de acompanhar as (...) consultorias quinzenais realizadas pelos médicos veterinários. Este trabalho é composto pela descrição de estágio, referencial bibliográfico e relato de caso. O manejo reprodutivo pode trazer muito impactos econômicos se não for realizado de forma adequado, para trazer melhores resultados biotécnicas da reprodução foram criadas, como por exemplo a inseminação artificial, juntamente com ela, protocolos de inseminação são usados, para isso é necessário conhecer a anatomia do animal e a fisiologia do ciclo estral, trazendo então melhores resultados adequando a necessidade da propriedade. O relato de caso consiste na avaliação da taxa de concepção ao primeiro serviço de vacas leiteiras primíparas e multíparas no pós-parto em anestro, submetidas a uma pré-sincronização anterior a um protocolo de IATF, o qual obteve resultado e a maioria dos animais responderam a pré-sincronização, e as taxas de concepção foram superiores comparadas apenas a utilização de IATF, obtendo 37% de animais gestantes ao primeiro serviço. Palavras-chave: Anestro; Bovinos; Concepção; Pré-Sincronização. -/- REFERÊNCIAS BIBLIOGRÁFICAS ALMEIDA, Í.C.; SOBREIRA, R.R.; OLIVEIRA, F.A.; GARCIA, Y.L.; MADUREIRA, A.P.; BARIONI, G.; SIQUEIRA, J.B. Protocolo de pré-sincronização hormonal em vacas mestiças no período pós-parto. Revista Brasileira de Medicina Veterinária, v.38 n.4, p. 353-357, 2016. AYRES, H; FERREIRA, R. M; CUNHA, A. P; ARAÚJO, R. R; WILTBANK, M. C. Double-Ovsynch in high-producing dairy cows: effects on progesterone concentrations and ovulation to GnRH treatments. Theriogenology. v. 79, n. 1, p. 159-164, 2013 AZEVEDO, C; CANADA, N; SIMÕES, J. O protocolo hormonal Ovsynch e suas modificações em vacas leiteiras de alta produção: uma revisão. Arquivos de zootecnia, v.63, n.244, p. 173-187, 2014. BERGAMASCHI, M.A.C.M; MACHADO, R; BARBOSA, R.T. Eficiência reprodutiva das vacas leiteiras. Circular Técnica- Embrapa. São Paulo, 2010. CAMPOS, C.C; RESENDE, E.V; CARNEIRO, L.C; MUNHOZ, A.K; SANTOS, R.M. Condição ovariana de vacas holandesas no início do programa reprodutivo. Vet. Not, v.18, n. 2, p. 145-147, 2012. CARVALHO, B.C; PIRES, M.F.A; ARBEX, W; SANTOS, G.B. Uso de Tecnologias de Precisão na Reprodução de Bovinos Leiteiros. Cadernos Técnicos de Veterinária e Zootecnia. n.79. 2015. CARVALHO, V.S. Avaliação morfológica do aparelho reprodutor de novilhas pertencentes a três grupos raciais. Universidade de Brasília - Faculdade de Agronomia e Medicina Veterinária. Brasília, 2017. CONSENTINI, C. E. C; WILTBANK, M.C; SARTORI, R. Fatores que otimizam a eficiência reprodutiva em rebanhos leiteiros com ênfase em programas de inseminação artificial cronometrada. Animais, 2021. DA SILVA, Emanuel Isaque Cordeiro. Anatomia e Fisiologia do Sistema Reprodutivo dos Animais Domésticos. Emanuel Isaque Cordeiro da Silva, 2020. DA SILVA, Emanuel Isaque Cordeiro. Anestro em Vacas Leiteiras: Fisiologia e Manejo. 2021. DA SILVA, Emanuel Isaque Cordeiro. Fisiologia Clínica do Ciclo Estral de Vacas Leiteiras: Desenvolvimento Folicular, Corpo Lúteo e Etapas do Estro. 2020. DA SILVA, Emanuel Isaque Cordeiro. Fisiologia da Reprodução Animal: Ovulação, Controle e Sincronização do Cio. 2020. DA SILVA, Emanuel Isaque Cordeiro. Fisiologia da Reprodução de Bovinos Leiteiros: Aspectos Básicos e Clínicos. Emanuel Isaque Cordeiro da Silva, 2022. DA SILVA, Emanuel Isaque Cordeiro. Fisiologia do ciclo estral dos animais domésticos. Emanuel Isaque Cordeiro da Silva, 2021. DA SILVA, Emanuel Isaque Cordeiro. Fisiologia do estro e do serviço na reprodução bovina. Belo Jardim: EICS, 2021. FAILS, A.D; MAGEE, C. Frandson- Anatomia e Fisiologia dos Animais de Produção. 8 ed. Rio de Janeiro: Guanabara Koogan Ltda, 2019. FERREIRA, A.M. Reprodução da Fêmea Bovina: Fisiologia Aplicada e Problemas mais comuns (causas e tratamentos). Juiz de Fora, MG: Edição do Autor, 2010. FRANCO, V. M. Efeitos da pré-sincronização antes da primeira IATF pós-parto em vacas girolando. Uberlândia, MG, 2021. HERLIHY, M. M; GIORDANO, J. O; SOUZA, A. H; FERREIRA, R. M; KESTIN, A; NASCIMENTO, A. B; GUENTHER, J. N; GASKA, J. M; KACUBA, S. J; CROWE, M. A; MORDOMO, S. T; WILTBANK, M. C; Presynchronization with Double-Ovsynch improves fertility at first postpartum artificial insemination in lactating dairy cows. Journal of Dairy Science, v. 95, n. 12, p. 7003-7014, 2012. JÚNIOR, M.F.D; ZERVOUDAKIS, L.K.H; ZERVOUDAKIS, J.T; KOCHECK, J.F.W; FILHO, R.S.F; FREITAS, L.D. Aspectos relacionados à fisiologia do anestro pós-parto em bovinos. Colloquium Agrariae, v. 9, n.2. Mato Grosso, 2013. MABA, M.M. Revisão Bibliográfica: Bases Fisiológicas e Dados Sobre a Inseminação Artificial em Tempo Fixo (IATF). Universidade Federal de Santa Catarina - Centro de Ciências Rurais. Curitibanos, 2018. MACEDO, G.G; OLIVEIRA, M; ROCHA, C.D; Sincronização da ovulação: como amenizar ainda mais a fisiologia da reprodução para obter melhores resultados?. Revista Brasileira de Reprodução Animal. Belo Horizonte, v.39, n.1, p. 41-46, 2015. OLIVEIRA, A.P., OLIVEIRA FILHO, J.P. e MEIRA, C. Dinâmica folicular ovariana comparativa entre as espécies bovina e equina. PUBVET, Londrina, V. 4, N. 8, Ed. 113, Art. 763, 2010. PANSANI, M.A; BELTRAN, M.P. Anatomia e Fisiologia do Aparelho Reprodutor de Fêmeas Bovinas. Revista Cientifica Eletrônica de Medicina Veterinária. São Paulo, n.12, 2009. PAZ, S. Taxa de prenhez e concepção: o que é e como medir na sua propriedade. Prodap, 2021. Disponível em:. REECE, W.O; ROWE, E.W. Anatomia Funcional e Fisiologia dos Animais Domésticos. 5 ed. Rio de Janeiro: Guanabara Koogan Ltda, 2020. ROCHE, J. R; FRIGGENS, N. C; KAY, J. K; FISHER, M. W; STAFFORD, K. J; BERRY, D. P. Invited review: Body condition score and its association with dairy cow productivity, health, and welfare. Journal of Dairy Science, v.92, p.5769-5801, 2009. SANTOS, J. P. C; LEAL, S. D. C. B. S; MADEIRA, E.M; SCHWEGLER, E; PINO, F.A.B.D; BIANCHI, I; CORRÊA, M.N. Balanço Energético Negativo no Período de Periparto em Vacas de Aptidão Leiteira. NUPEEC – Núcleo de Pesquisa, Ensino e Extensão em Pecuária. Pelotas, 2009. SENAR. Inseminação Artificial: Bovinos / Serviço Nacional de Aprendizagem Rural. 3 ed. Brasília, 2011. SILVA, L. A. C. Pré-sincronização com folículo persistente em protocolos de sincronização da ovulação a base de GnRH em vacas de leite em lactação. Dissertação (Mestrado) - Curso de Ciências Veterinárias, Universidade Federal de Lavras, Lavras, 2017. Disponível em:. Acesso em: 24 de outubro de 2022. SOARES, P.H.A. Métodos de sincronização de estro e ovulação em bovinos: revisão de literatura. Conexão Ci, v.14 n.2, p. 66-72, 2019. SOUZA, V.L. Avaliação da fertilidade do rebanho bovino de Rondônia e o uso de detecção de cio e do GnRH para aumentar a eficiência de programas de IATF. Fundação Universidade Federal de Rondônia. Porto Velho, 2019. Veja informações úteis sobre a taxa de prenhez. Ideagri, 2022. Disponível em:. (shrink)

El objetivo de este trabajo es dar cuenta de lo que en la discusión filosófica latinoamericana se ha entendido en las últimas décadas por “filosofía indígena”. Para este fin, se realiza un metaanálisis a partir de una revisión sistemática de los artículos académicos que mencionan categorías conceptuales vinculadas a aspectos noéticos de lo indígena, considerando una base de datos compuesta por las revistas latinoamericanas indexadas al catálogo SCOPUS en el área de filosofía. Teniendo en cuenta el material contenido en 42 (...) revistas académicas entre 1984 y 2023, se observó que un total de 142 artículos mencionan al menos una vez conceptos como conocimiento/saber indígena, cosmovisión indígena, pensamiento indígena, filosofía/sabiduría indígena, y valores indígenas, u otras denominaciones similares. A partir de esta sistematización, el trabajo presenta una propuesta de ordenamiento de las categorías asociadas a lo indígena señalando los principales desafíos conceptuales que reviste la propuesta de una filosofía indígena latinoamericana. (shrink)

El objetivo de este trabajo es dar cuenta de lo que en la discusión filosófica latinoamericana se ha entendido en las últimas décadas por “filosofía indígena”. Para este fin, se realiza un metaanálisis a partir de una revisión sistemática de los artículos académicos que mencionan categorías conceptuales vinculadas a aspectos noéticos de lo indígena, considerando una base de datos compuesta por las revistas latinoamericanas indexadas al catálogo SCOPUS en el área de filosofía. Teniendo en cuenta el material contenido en 42 (...) revistas académicas entre 1984 y 2023, se observó que un total de 142 artículos mencionan al menos una vez conceptos como conocimiento/saber indígena, cosmovisión indígena, pensamiento indígena, filosofía/sabiduría indígena, y valores indígenas, u otras denominaciones similares. A partir de esta sistematización, el trabajo presenta una propuesta de ordenamiento de las categorías asociadas a lo indígena señalando los principales desafíos conceptuales que reviste la propuesta de una filosofía indígena latinoamericana. (shrink)

Filósofos como Marcuse han subrayado las propiedades liberadoras del quehacer artístico. Pero si hemos de pensar el arte como el Gran Rechazo, es necesario mostrar qué rechaza el arte y con qué busca sustituirlo. Respecto a estas preguntas, existen dos respuestas antagónicas. Mientras una busca en la experiencia artística rechazar lo dado en nombre de una verdad intemporal, la otra también reniega de lo dado, pero admite el carácter provisorio de toda verdad. Aunque en apariencia sutil, esta distinción es sustancial. (...) A partir de una lectura de Platón, muestro por qué en la primera posición no hay cabida para lo humano, y por qué de ella se desprenden implicaciones totalitarias. Para caracterizar a la segunda posición, me sirvo de la concepción estética de Octavio Paz y de la propuesta escultórica de Alexander Calder. Ambas propuestas permiten conciliar la insatisfacción que palpita en el arte con la alteridad que caracteriza a lo humano. (shrink)

Experts in Artificial Intelligence (AI) development predict that advances in the development of intelligent systems and agents will reshape vital areas in our society. Nevertheless, if such an advance is not made prudently and critically-reflexively, it can result in negative outcomes for humanity. For this reason, several researchers in the area have developed a robust, beneficial, and safe concept of AI for the preservation of humanity and the environment. Currently, several of the open problems in the field of AI research (...) arise from the difficulty of avoiding unwanted behaviors of intelligent agents and systems, and at the same time specifying what we really want such systems to do, especially when we look for the possibility of intelligent agents acting in several domains over the long term. It is of utmost importance that artificial intelligent agents have their values aligned with human values, given the fact that we cannot expect an AI to develop human moral values simply because of its intelligence, as discussed in the Orthogonality Thesis. Perhaps this difficulty comes from the way we are addressing the problem of expressing objectives, values, and ends, using representational cognitive methods. A solution to this problem would be the dynamic approach proposed by Dreyfus, whose phenomenological philosophy shows that the human experience of being-in-the-world in several aspects is not well represented by the symbolic or connectionist cognitive method, especially in regards to the question of learning values. A possible approach to this problem would be to use theoretical models such as SED (situated embodied dynamics) to address the values learning problem in AI. (shrink)

According to Molinism, logically prior to his creative decree, God knows via middle knowledge the truth value of the counterfactuals or conditionals of creaturely freedom (CFs) and thus what any possible person would do in any given circumstance. Critics of Molinism have pointed out that the Molinist God gets lucky that the CFs allow him to actualize either a world of his liking or even a good-enough world at all. In this paper, I advance and strengthen the popular critique in (...) two ways. First, I specify the kind of luck to which God is subject, which is circumstantial moral luck. Second, and more importantly, I argue that exposure to this luck is problematic because something external to God and beyond his control determines the degree of praiseworthiness he deserves in relevant possible worlds. My main contention is that divine subjection to circumstantial moral luck raises the theoretical costs of Molinism. (shrink)

El concepto de desarrollo humano del Programa de las Naciones Unidas para el Desarrollo (PNUD) surge en 1990 como una crítica a la consideración de la economía como el fin último de los esfuerzos del desarrollo. En la visión del PNUD, la economía es considerada un fin relativo, es decir, un fin y un medio para el desarrollo humano. Al considerar, por su parte, el fin del desarrollo humano, este es identificado con el ensanchamiento de las opciones y libertades de (...) que gozan los individuos. En este sentido, este concepto de desarrollo humano hace alusión a una práctica política más que a un entendimiento ético-ontológico del ser humano, evitando referirse a desarrollo humano entendido como un desarrollo del ser humano. Este artículo explora los antecedentes del concepto del desarrollo humano del PNUD y los fines que consideran estos enfoques previos. Se observa que la consideración subjetivista del PNUD proviene de la teoría de Amartya Sen, quien queda sujeto a la crítica objetivista de Martha Nussbaum al no considera un fin objetivo para los asuntos humanos, crítica que puede de igual manera aplicarse al concepto de desarrollo humano del PNUD. (shrink)

Current work in language models (LMs) helps us speed up or even skip thinking by accelerating and automating cognitive work. But can LMs help us with critical thinking -- thinking in deeper, more reflective ways which challenge assumptions, clarify ideas, and engineer new concepts? We treat philosophy as a case study in critical thinking, and interview 21 professional philosophers about how they engage in critical thinking and on their experiences with LMs. We find that philosophers do not find LMs to (...) be useful because they lack a sense of selfhood (memory, beliefs, consistency) and initiative (curiosity, proactivity). We propose the selfhood-initiative model for critical thinking tools to characterize this gap. Using the model, we formulate three roles LMs could play as critical thinking tools: the Interlocutor, the Monitor, and the Respondent. We hope that our work inspires LM researchers to further develop LMs as critical thinking tools and philosophers and other 'critical thinkers' to imagine intellectually substantive uses of LMs. (shrink)

In this paper I argue that the search for explainable models and interpretable decisions in AI must be reformulated in terms of the broader project of offering a pragmatic and naturalistic account of understanding in AI. Intuitively, the purpose of providing an explanation of a model or a decision is to make it understandable to its stakeholders. But without a previous grasp of what it means to say that an agent understands a model or a decision, the explanatory strategies will (...) lack a well-defined goal. Aside from providing a clearer objective for XAI, focusing on understanding also allows us to relax the factivity condition on explanation, which is impossible to fulfill in many machine learning models, and to focus instead on the pragmatic conditions that determine the best fit between a model and the methods and devices deployed to understand it. After an examination of the different types of understanding discussed in the philosophical and psychological literature, I conclude that interpretative or approximation models not only provide the best way to achieve the objectual understanding of a machine learning model, but are also a necessary condition to achieve post hoc interpretability. This conclusion is partly based on the shortcomings of the purely functionalist approach to post hoc interpretability that seems to be predominant in most recent literature. (shrink)

As proposições condicionais receberam atenção teórica concentrada, embora intermitente, desde a Antiguidade. A atenção durante últimos quarenta anos tem sido intensa. Nesse artigo, apresentaremos os principais desenvolvimentos da análise lógica acerca das proposições condicionais e discutiremos como elas desempenham papel central em muitas teorias filosóficas. Na primeira parte dessas observações introdutórias, mostraremos como os antigos, principalmente as escolas megárica e estoica, envolveram-se com a questão dos condicionais e quão importante isso foi para os posteriores desenvolvimentos da análise lógica dos condicionais (...) no medievo e na Idade Moderna. Por fim, apresentaremos, já na contemporaneidade, C. I. Lewis expondo sua teoria da implicação estrita em franca oposição à doutrina da implicação que ele julgava errada. Espera-se que este trabalho sirva como a apresentação panorâmica de um campo que em lógica ainda é muito frutífero e fecundo para aprofundamentos e novas ideias. (shrink)

Para comemorarmos o centenário do patrono da Educação Brasileira, Paulo Reglus Neves Freire, iremos neste breve estudo propor um diálogo entre a pedagogia libertária de Freire e algumas princípios filosóficos que a fundamentam. Inicialmente, investigamos a trajetória histórica do pedagogo nordestino, e os momentos mais marcantes de sua vida cosmopolita. Em segundo, apresentaremos alguns dos principais alicerces de sua metodologia pedagógica, contudo, dada a vasta obra publicada por Freire, qualquer breve revisão será fadada em apenas ser um breve vislumbre da (...) filosofia e pedagogia freireana. Por fim, iremos explorar algumas das origens filosóficas e políticas do conceito de pedagogia libertária, e como essas origens podem ser ligadas a filosofia Anarquista, dado a algumas semelhanças evidentes. A crítica a autoridade injustificada, a amorosa crença do caráter social e solidário do indivíduo humano, e um forte defesa da emancipação humana, algo que só pode ser alcançado através da busca pela liberdade e autonomia do sujeito. Tais paralelos levam à conclusão de que se a pedagogia libertária é um ato de amor, a filosofia libertária também deve ser, pois, ambas se nutrem da mesma fonte, e almejam o mesmo lugar: a emancipação humana. (shrink)

El objetivo central de este trabajo fue identificar los patrones funcionales-valorativos presentes en un corpus de informes de arbitraje, género clave en la producción de conocimiento científico. Para el análisis, se utilizó un procedimiento que implicó, primero, la identificación de los elementos funcionales o propósitos comunicativos más frecuentes y, luego, su descripción con algunas categorías del modelo de la valoración. El corpus, de carácter intencionado, estuvo compuesto por 42 informes de arbitraje de la revista de lingüística y traducción de la (...) Pontificia Universidad Católica de Chile, Onomázein. Algunos de los resultados muestran que los propósitos comunicativos más frecuentes son “Describir un problema”, “Destacar un aspecto positivo”, “Solicitar una acción” y “Sugerir una acción”. La alta frecuencia de los propósitos “Describir un problema” y “Destacar un aspecto positivo” eran esperables en un género evaluativo. Ambos propósitos se focalizan más en elementos de contenido y presentan un fuerte posicionamiento monoglósico intensificado con significados de Gradación. El patrón monoglósico puede explicarse por la situación de poder en que se encuentra el árbitro al ser el evaluador del artículo. La alta frecuencia de los propósitos comunicativos “Solicitar acción” y “Sugerir acción” da cuenta de la función negociadora del género. Por último, tanto en la solicitud como en la sugerencia de acciones, los significados de actitud tienen como foco los elementos de forma y no de contenido. (shrink)

A ansiedade gerada pela possível criação de inteligência artificial geral, algo profetizado desde a fundação do campo de pesquisa (i.e., Dartmouth's Summer Research Project on Artificial Intelligence) (MCCARTHY et al., 1955), é algo comumente investigado dentro dos círculos transhumanistas e singularistas (KURZWEIL, 2005; CHALMERS, 2010; TEGMARK, 2016; 2017; CORRÊA; DE OLIVEIRA, 2021). Por exemplo, em seu livro “Superintelligence: Paths, Dangers, Strategies”, Nick Bostrom (2014) apresenta uma série de argumentos para justificar a ideia de que precisamos ser cautelosos em relação a (...) criação de inteligência artificial avançada ou inteligência artificial geral. Contudo, muito dos argumentos levantados, em suas versões originais (i.e., convergência instrumental e ortogonalidade (OMOHUNDRO, 2008), são baseados em noções “vagas” de conceitos complexos (i.e., “inteligência”, “racionalidade”, “agência”). O objetivo deste resumo (apresentação) será introduzir o leitor/ouvinte ao campo de Segurança da Inteligência Artificial. Nesse campo, questões como o “Problema de controle” (i.e., evitar construir inadvertidamente uma inteligência artificial geral que prejudicará seus criadores) e o “Problema de Alinhamento” (i.e., criar sistemas de inteligência artificial que permaneçam seguros mesmo quando atuando de forma autônoma no ambiente real), que são questões muitas vezes debatidas apenas dentro da Filosofia ou Ficção Científica, ganham um aspecto muito mais real e formal (AMODEI et al., 2016, HUBINGER et al., 2019). A criação de alguns dos modelos de inteligência artificial mais avançados já criados (e.g., AlphaGo, GPT-3) (SILVER el al., 2016; BROWN et al., 2020), está ligado a utilização de dois paradigmas da área de Aprendizagem de Máquina, i.e., Aprendizagem Profunda e Aprendizagem por Reforço. Dentro deste contexto, podemos definir “um sistema autônomo inteligente” como “um sistema que implementa uma política ótima (tecnicamente "ϵ-greedy optimal") para alguma função de recompensa” (ORSEAU et al., 2018). Podemos também definir tais sistemas como “maximizadores de utilidade esperada” (VON NEUMANN; MORGENSTERN, 1944). Um sistema de IA maximizando uma função de recompensa (i.e., objetivo) especificada erroneamente pode vir a causar danos reais quando interagindo no ambiente real, seja por erros de especificação (i.e., Efeitos Colaterais Negativos, Hackeamento de Recompensa, Interrupção Segura), ou quando o domínio de treinamento é diferente do domínio de implantação (i.e., Exploração Segura e Mudança de Domínio). Ao mesmo tempo, especificar objetivos complexos (e.g., preferências e valores humanos) é uma tarefa extremamente complexa, e quando visamos a possibilidade de inteligência artificial avançada agindo no mundo real, é imperativo que tais sistemas estejam: (1) alinhados com nossos objetivos; e (2) desenvolvidos com um design que evite os problemas citados acima. Contudo, tais problemas permanecem em aberto. Por fim, gostaria de ressaltar que no cerne desta problemática, não temos apenas problemas técnicos de aprendizagem de máquina, mas uma importante questão de cunho “Moral”: “O que é a coisa ‘certa” a fazer”? “Qual o objetivo correto a ser perseguido”? “Como podemos especificar isso”? Perguntas como essas prometem um fértil campo para pesquisas interdisciplinares envolvendo inteligência artificial, aprendizagem de máquina, ciências da computação e filosofia moral. (shrink)

Many word forms in natural language are polysemous, but only some of them allow for co-predication, that is, they allow for simultaneous predications selecting for two different meanings or senses of a nominal in a sentence. In this paper, we try to explain (i) why some groups of senses allow co-predication and others do not, and (ii) how we interpret co-predicative sentences. The paper focuses on those groups of senses that allow co-predication in an especially robust and stable way. We (...) argue, using these cases, but focusing particularly on the multiply polysemous word ‘school’, that the senses involved in co-predication form especially robust activation packages, which allow hearers and readers to access all the different senses in interpretation. (shrink)

Um posicionamento muito comum entre teóricos do campo de pesquisa em Inteligência Artificial é aquele no qual definimos “Inteligência” como uma capacidade intrinsecamente relacionada à perseguição de metas e objetivos, algo que podemos chamar de uma “definição teleológica” para o fenômeno de inteligência. Contudo, uma possível crítica contra esta definição pode ser levantada devido a sua aparente vagueza. Como qualquer comportamento pode ser descrito como um objetivo a ser cumprido, e funções de utilidade pertencem a uma vasta família de funções, (...) podemos dizer que “qualquer comportamento”, desde que esse possa ser descrito como um objetivo sendo perseguido (uma função de utilidade sendo maximizada), serve como evidência de agência inteligente. Neste estudo, gostaria de propor uma definição alternativa para o conceito de Inteligência. Uma definição metafísica, i.e., a Hipótese da Permissibilidade. Para defender tal proposta, irei apresentar um paralelo entre: (1) teoria da otimização; (2) nosso entendimento contemporâneo sobre fenômenos físicos; e (3) aquilo que chamamos de Aprendizagem de Máquina. No fim, proponho que “Inteligência” deve ser compreendida como uma propriedade física permissível de nossa realidade. Uma propriedade a que todos os sistemas físicos têm acesso. (shrink)

How can someone reconcile the desire to eat meat, and a tendency toward vegetarian ideals? How should we reconcile contradictory moral values? How can we aggregate different moral theories? How individual preferences can be fairly aggregated to represent a will, norm, or social decision? Conflict resolution and preference aggregation are tasks that intrigue philosophers, economists, sociologists, decision theorists, and many other scholars, being a rich interdisciplinary area for research. When trying to solve questions about moral uncertainty a meta understanding of (...) the concept of normativity can help us to develop strategies to deal with norms themselves. 2nd-order normativity, or norms about norms, is a hierarchical way to think about how to combine many different normative structures and preferences into a single coherent decision. That is what metanormativity is all about, a way to answer: what should we do when we don’t know what to do? In this study, we will review a decision-making strategy dealing with moral uncertainty, Maximization of Expected Choice-Worthiness. This strategy, proposed by William MacAskill, allows for the aggregation and inter-theoretical comparison of different normative structures, cardinal theories, and ordinal theories. In this study, we will exemplify the metanormative methods proposed by MacAskill, using has an example, a series of vegetarian dilemmas. Given the similarity to this metanormative strategy to expected utility theory, we will also show that it is possible to integrate both models to address decision-making problems in situations of empirical and moral uncertainty. We believe that this kind of ethical-mathematical formalism can be useful to help develop strategies to better aggregate moral preferences and solve conflicts. (shrink)

Una interpretación aristotélica del concepto de desarrollo humano propone como fin último del desarrollo la eudaimonía o felicidad, esto es, la plena realización de la capacidad eudemónica en el alma humana. Para esto se requiere del desarrollo de sus partes racional e irracional, lo que demanda como medios una ética y una dianoética del desarrollo, referidos a los modos de ser de las respectivas partes del alma. La interacción entre ambas partes genera siempre un ciclo virtuoso, existiendo la posibilidad de (...) influencias externas a través de la educación, la costumbre, la economía, la legislación y la política. -/- An Aristotelian approach of the concept of human development proposes eudaimonía or happiness as the ultimate goal of development, that is, the full realization of the eudemonic capacity in the human soul. For this, the development of its rational and irrational parts is required, which in turn requires an ethics and dianoethics of development as means, referring to the characters of the respective parts of the soul. The interaction between both parts always generates a virtuous cycle, with the possibility of external influences through education, custom, economics, legislation and politics. (shrink)

In a recent paper, Erasmus et al. (2021) defend the idea that the ambiguity of the term “explanation” in explainable AI (XAI) can be solved by adopting any of four different extant accounts of explanation in the philosophy of science: the Deductive Nomological, Inductive Statistical, Causal Mechanical, and New Mechanist models. In this chapter, I show that the authors’ claim that these accounts can be applied to deep neural networks as they would to any natural phenomenon is mistaken. I also (...) provide a more general argument as to why the notion of explainability as it is currently used in the XAI literature bears little resemblance to the traditional concept of scientific explanation. It would be more fruitful to use the label “understandable AI” to avoid the confusion that surrounds the goal and purposes of XAI. In the second half of the chapter, I argue for a pragmatic conception of understanding that is better suited to play the central role attributed to explanation in XAI. Following De Regt (2017) and Kuorikoski and Ylikoski (2015), the conditions of satisfaction for understanding an ML system are fleshed out in terms of an agent’s success in using the system. (shrink)

One of the strands of the Transhumanist movement, Singulitarianism, studies the possibility that high-level artificial intelligence may be created in the future, debating ways to ensure that the interaction between human society and advanced artificial intelligence can occur safely and beneficially. But how can we guarantee this safe interaction? Are there any indications that a Singularity may be on the horizon? In trying to answer these questions, We'll make a small introduction to the area of security research in artificial intelligence. (...) We'll review some of the current paradigms in the development of autonomous intelligent systems and evidence that we can use to prospect the coming of a possible technological Singularity. Finally, we will present a reflection using the COVID-19 pandemic, something that showed that our biggest problem in managing existential risks is our lack of coordination skills as a global society. (shrink)

: New genetic technologies continue to emerge that allow us to control the genetic endowment of future children. Increasingly the claim is made that it is morally "irresponsible" for parents to fail to use such technologies when they know their possible children are at risk for a serious genetic disorder. We believe such charges are often unwarranted. Our goal in this article is to offer a careful conceptual analysis of the language of irresponsibility in an effort to encourage more care (...) in its use. Two of our more important sub-claims are: A fair judgment of genetic irresponsibility necessarily requires a thick background description of the specific reproductive choice; and there is no necessary connection between an act's being morally wrong and its being irresponsible. These are distinct judgments requiring distinct justifications. (shrink)

There is a growing awareness that there are many subtle forms of exclusion and partiality that affect the correct workings of a judicial system. The concept of epistemic injustice, introduced by the philosopher Miranda Fricker, is a useful conceptual tool to understand forms of judicial partiality that often go undetected. In this paper, we present Fricker’s original theory and some of the applications of the concept of epistemic injustice in legal processes. In particular, we want to show that the seed (...) planted by Fricker has flourished into a rich field of study in which the concept is used to analyze many different phenomena in law, not always following the original characterization provided by her. This has led to a distinction between what we will call the narrow version of the concept, which is closer to Fricker’s original account, and the wider version of epistemic injustice, which is a more controversial notion because it is always on the verge of morphing into other well-known concepts like sexism, racial discrimination, oppression, silencing, and gaslighting. We will show that the value of the narrow version is mostly theoretical, and that in order to use the concept of epistemic injustice one must adopt a more liberal understanding of it. (shrink)

What does Cyberpunk and AI Ethics have to do with each other? Cyberpunk is a sub-genre of science fiction that explores the post-human relationships between human experience and technology. One similarity between AI Ethics and Cyberpunk literature is that both seek a dialogue in which the reader may inquire about the future and the ethical and social problems that our technological advance may bring upon society. In recent years, an increasing number of ethical matters involving AI have been pointed and (...) debated, and several ethical principles and guides have been suggested as governance policies for the tech industry. However, would this be the role of AI Ethics? To serve as a soft and ambiguous version of the law? I would like to promote in this article a more Cyberpunk way of doing AI Ethics, whit a more anarchic way of governance. In this study, I will seek to expose some of the deficits of the underlying power structures of our society, and suggest that AI governance be subject to public opinion, so that ‘good AI’ can become ‘good AI for all’. (shrink)

Este artigo oferece uma nova reconstrução para os argumentos do famoso segundo capítulo de Word and Object de Quine e sua idéia da Tradução Radical . De acordo com essa abordagem, o maior alvo de Quine é a noção de composicionalidade como sendo o elemento fundamental para qualquer teoria do significado. Em poucas palavras, não poderia haver nenhuma “teoria do significado”, para Quine, simplesmente porque a noção de composicionalidade deveria ser rejeitada como a concepção central da semântica. Além disso, tomamos (...) o cuidado de diferenciar argumentos empíricos de argumentos a priori de natureza modal. Esses últimos constituem-se no que propomos chamar de Teorema do Automorfismo de Quine , a idéia de que há maneiras alternativas de se reconstruir a estrutura gramatical de qualquer língua incluindo predicação e que poderiam manter invariantes todas as nossas predisposições para comportamento verbal sob quaisquer estados de coisas, atuais ou meramente possíveis. Em nosso entender, é esse teorema que determina fundamentalmente a rejeição da composicionalidade por Quine e, assim, de todas as teorias do significado. (shrink)

[Stephen Yablo] The usual charge against Carnap's internal/external distinction is one of 'guilt by association with analytic/synthetic'. But it can be freed of this association, to become the distinction between statements made within make-believe games and those made outside them-or, rather, a special case of it with some claim to be called the metaphorical/literal distinction. Not even Quine considers figurative speech committal, so this turns the tables somewhat. To determine our ontological commitments, we have to ferret out all traces of (...) nonliterality in our assertions; if there is no sensible project of doing that, there is no sensible project of Quinean ontology. /// [Andre Gallois] I discuss Steve Yablo's defence of Carnap's distinction between internal and external questions. In the first section I set out what I take that distinction, as Carnap draws it, to be, and spell out a central motivation Carnap has for invoking it. In the second section I endorse, and augment, Yablo's response to Quine's arguments against Carnap. In the third section I say why Carnap's application of the distinction between internal and external questions runs into trouble. In the fourth section I spell out what I take to be Yablo's version of Carnap. In the last I say why that version is especially vulnerable to the objection raised in the second. (shrink)

Tradução para o português do livro "Le Scepticisme Philosophique", Paris: Bordas, 1972, de André Verdan. Título da edição brasileira: O Ceticismo Filosófico. Florianópolis: Editora da UFSC, 1998, 135 páginas. ISBN: 8532801390 / ISBN-13: 9788532801395.

El desarrollo humano es, en el contexto de los estudios del desarrollo internacional, un concepto difundido a partir de 1990 por el Programa de las Naciones Unidas para el Desarrollo (PNUD). Este artículo propone una interpretación alternativa del concepto de desarrollo humano que resuelve algunas inconsistencias producidas por la confluencia de las distintas corrientes teóricas que dieron origen al concepto. La nueva interpretación propuesta proviene de los aportes del enfoque aristotélico de Martha Nussbaum y, más directamente, de la antropología aristotélica (...) y las nociones de acto y potencia. Se argumenta que el desarrollo humano puede ser entendido como el cambio que busca la realización plena del potencial humano. (shrink)

This paper deals with the mutations in Wittgenstein’s treatment of the notions of “generality” and of “singularity”, from his first philosophy, in the Tractatus Logico-Philosophicus, to his later mature philosophy represented by the Philosophical Investigations. As we shall see, Wittgenstein’s philosophical handling of the notion of “visual perception” plays a key role in those conceptual transformations.

Bioethicists appearing in the media have been accused of "shooting from the hip" (Rachels, 1991). The criticism is sometimes justified. We identify some reasons our interactions with the press can have bad results and suggest remedies. In particular we describe a target (fostering better public dialogue), obstacles to hitting the target (such as intrinsic and accidental defects in our knowledge) and suggest some practical ways to surmont those obstacles (including seeking out ways to write or speak at length, rather than (...) in sound bites). We make use of our own research into the way journalists quote bioethicists. We end by suggesting that the profession as a whole look into this question more fully. (shrink)

Trata-se de capítulo de um livro sobre a noção de "substância" na história da filosofia e contém uma discussão sobre a noção ordinária de "corpo" do ponto de vista da filosofia analítica.

In the discourse on International Justice, traditional frameworks are deeply rooted in 'embodied metaphysics'—a perspective embedded in the tangible experiences of human existence. By contrasting the physical with the digital realms, I suggest that our current global justice systems are ill-equipped to address the complexities of the digital age. Utilizing the metaphor of water to highlight the often-unseen environment shaping justice theories and practices, I argue that International Justice, as conventionally understood, reflects the constraints akin to fish oblivious to the (...) water surrounding them. In digital spaces, individuals are no longer bound by principles of singularity and locality, and instead operate by principles of multiplicity and nonlocality. These metaphysical differences disrupt many theories of global justice assuming singularity and nonlocality. My aim is to encourage scholars and practitioners to 'see water'—to acknowledge and critically reassess the foundational assumptions underlying their theories and practices in an era of digital transformation. (shrink)

Cada día es más evidente que existen muchas formas sutiles de exclusión y parcialidad que afectan el correcto funcionamiento de los sistemas jurídicos. El concepto de injusticia epistémica, introducido por la filósofa Miranda Fricker, ofrece una herramienta conceptual útil para comprender estas formas de exclusión y parcialidad judicial que a menudo pasan desapercibidas. En este artículo presentamos la teoría original de Fricker y algunas de las aplicaciones del concepto de injusticia epistémica en los procesos jurídicos. En particular, queremos demostrar que (...) la semilla sembrada por Fricker ha generado un floreciente campo de estudio en el cual el concepto se utiliza para analizar muchos fenómenos diferentes en el ámbito jurídico, no siempre siguiendo la caracterización original proporcionada por ella. Esto ha llevado a una distinción entre lo que llamaremos la versión estrecha del concepto, que se acerca a la descripción original de Fricker, y la versión más amplia de injusticia epistémica, que es una noción más controvertida porque existe el riesgo de que se confunda con otros conceptos más conocidos como el sexismo, la discriminación racial, la opresión, el silenciamiento y el gaslighting. Mostraremos que el valor de la versión estrecha es principalmente teórico y que para utilizar el concepto de injusticia epistémica se debe adoptar una comprensión más liberal del mismo. (shrink)

Some Molinists claim that a perfectly good God would actualize a world that is salvifically optimal, that is, a world in which the balance between the saved and damned is optimal and cannot be improved upon without undesirable consequences. I argue that given some plausible principles of rationality, alongside the assumptions Molinists already accept, God’s perfect rationality necessarily would lead him to actualize a salvifically optimal world; I call this position “Optimistic Molinism.” I then consider objections and offer replies, concluding (...) that Optimistic Molinism is undefeated and merits further exploration. (shrink)

Los sesgos cognitivos afectan negativamente la toma de decisiones en todas las esferas de la vida, incluyendo las decisiones de los jueces. La imposibilidad de eliminarlos por completo de la práctica del derecho, o incluso de controlar sus efectos, contrasta con el anhelo de que las decisiones judiciales sean el resultado exclusivo de un razonamiento lógico-jurídico correcto. Frente el efecto sistemático, recalcitrante y porfiado de los sesgos cognitivos, una posible estrategia para disminuir su efecto es enfocarse, no en modificar el (...) comportamiento de los agentes judiciales, sino en moldear su entorno para que los sesgos tengan menos oportunidades de aparecer. En particular, es más provechoso concentrar los esfuerzos en identificar aquellas reglas procesales que faciliten o limiten el efecto de los sesgos. En este ensayo propongo un diálogo fructífero entre el derecho y la psicología que puede llevar a mejorar la calidad de los sistemas judiciales. La propuesta está basada en la creación de guías de práctica judicial que puedan servir de base para la creación de protocolos procesales que limiten en la medida de lo razonable sus efectos negativos y conduzcan a mejores decisiones judiciales. (shrink)

En este capítulo se estudia la facultad a prevención contenida en la Ley 1333 de 2009, para analizar la forma en la que el derecho ambiental ha venido construyendo una dogmática y reglas propias, escapando de la tradición del derecho administrativo, así como creando la dogmática propia necesaria para lograr su independencia y consolidación como un área autónoma de la disciplina jurídica. Al respecto, en este ejercicio de reflexión es posible ver cómo la figura aparte de estar diseñada por fuera (...) de la teoría general del acto administrativo, también posee particularidades que la hacen única dentro del ordenamiento jurídico colombiano. (shrink)

Many theists conceive of God as a perfect being, i.e., as that than which none greater is metaphysically possible. On this grand view of God, it seems plausible to think that such a supreme and maximally great being would not be subject to luck of any sort. Given the divine perfections, God is completely insulated from luck. However, I argue that the opposite is true: precisely because God is perfect, he is subject to a kind of luck called constitutive luck. (...) In this paper, first I provide an analysis of luck and then explain the concept of constitutive luck. I proceed to defend constitutive luck from charges of incoherence and examine a different approach to make sense of this luck. Furthermore, I distinguish between two kinds of constitutive luck and argue that even if God isn’t subject to one kind, evading the second kind is unsuccessful. I offer two ways that God is constitutively lucky and reach a surprising conclusion: a perfect being is the luckiest of all possible beings. (shrink)

Abstract In The Descent of Man (1879), Charles Darwin proposed a speculative evolutionary explanation of extended benevolence—a human sympathetic capacity that extends to all nations, races, and even to all sentient beings. This essay draws on twenty-first century social science to show that Darwin’s explanation is correct in its broad outlines. Extended benevolence is manifested in institutions such as legal human rights and democracy, in behaviors such as social movements for human rights and the protection of nonhuman animals, and in (...) normative attitudes such as emancipative values and a commitment to promote the rights or welfare of animals. These phenomena can be substantially explained by cultural evolutionary forces that trace back to three components of what Darwin called the human “moral sense”: (1) sympathy, (2) our disposition to follow community rules or norms, and (3) our capacity to make normative judgments. Extended benevolence likely emerged with “workarounds,” including political ideologies, that established an inclusive sympathetic concern for sentient life. It likely became as widespread as it is now due to recently arisen socio-economic conditions that have created more opportunities for people to have contact with and take the perspective of a broader cross-section of humanity, as well as other species. (shrink)

El desarrollo de las artes visuales durante el siglo XX desdibujó la frontera entre aquellos objetos y artefactos que llamamos obras de arte, y aquéllos que no son merecedores de ese título. Arthur Danto ha propuesto una teoría estética a la luz de la cual sería posible volver a definir los límites del arte. En este ensayo examino dos de los aspectos más problemáticos de la teoría: la importancia excesiva que Danto le otorga al concepto de mímesis y su concepción (...) teleológica de la historia del arte. Si atenuamos el papel de estos dos elementos, la teoría pierde gran parte de su poder explicativo. En las últimas dos secciones del ensayo arguyo que el mundo del arte al que Danto atribuye un papel central en el problema de la demarcación debe él mismo ser considerado un subproducto de las condiciones que determinan la naturaleza del arte en general. (shrink)

Vision is an important metaphor in ethical and political questions of knowledge. The feminist philosopher Donna Haraway points out the “perverse” nature of an intrusive, alienating, all-seeing vision (to which we might cry out “stop looking at me!”), but also encourages us to embrace the embodied nature of sight and its promises for genuinely situated knowledge. Current technologies of machine vision – surveillance cameras, drones (for war or recreation), iPhone cameras – are usually construed as instances of the former rather (...) than the latter, and for good reasons. However, although in no way attempting to diminish the real suffering these technologies have brought about in the world, I make the case for understanding technologies of computer vision as material instances of embodied seeing and situated knowing. Furthermore, borrowing from Iris Murdoch’s concept of moral vision, I suggest that these technologies direct our labor towards self-reflection in ethically significant ways. My approach draws upon paradigms in computer vision research, phenomenology, and feminist epistemology. Ultimately, this essay is an argument for directing more philosophical attention from merely criticizing technologies of vision as ethically deficient towards embracing them as complex, methodologically and epistemologically important objects. (shrink)

O pensamento axiomático de Hilbert foi um influente modelo filosófico que motivou movimentos como o positivismo no início do século XX, em diversas áreas dentro, e fora, da filosofia, como a epistemologia e a metamatemática. O formalismo axiomático fornece, através do uso da lógica de primeira ordem, uma importante fundação para modelos lógicos formais, o que, para Hilbert, representaria um modelo universal de investigação empírica, não só para a matemática, mas para todas as ciências naturais, e pela visão positivista, também (...) a filosofia. Contudo, no caso mais específico da matemática, existe uma certa descomunicação entre os fundamentos da matemática e sua prática, onde métodos informais, ainda promovem elegantes ferramentas para matemáticos de diversas áreas, inclusive, quando certos paradigmas tentam ser quebrados. É exatamente esta assincronia entre os fundamentos da matemática, e a sua prática que iremos investigar neste estudo. Lawvere, insatisfeito com a “fundação não fundamentada” do método axiomático proposto por Hilbert, e inspirado pela dialética hegeliana, procurou revisar os fundamentos da matemática pela lógica categórica e a Teoria das Categorias. Vemos neste estudo, como as interpretações de Lawvere de conceitos da lógica de Hegel, como, equivalência, unidade dos opostos e “aufheben”, permitem uma nova abordagem matemática, com um posicionamento filosófico que procura, de certa forma, transcender a dicotomia entre escolas analíticas e continentais. Lawvere trata a lógica objetiva de Hegel como uma possível estratégia para resolver o problema de aterramento lógico em metafísica. Por fim, vemos como as contribuições de Lawvere para a axiomatização da lógica categórica tiveram impactos inovadores na metamatemática, especialmente no desenvolvimento das fundações univalentes de Vladimir Voevodsky. (shrink)

The following is a paper presented for the Course Rahner and Lonergan at the University of Toronto (Winter, 2014), revised and edited Winter, 2018. Our purpose is to defend the possibility of “perceptualism,” that is to say, the position maintaining that the intelligible content of consciousness is given in perception and not posited by the activity of the subject. Assisted by the insights of Cornelio Fabro, this defense contrasts perceptualism with Bernard Lonergan’s “critical realism”. This paper focuses on the notion (...) of experience, seemingly the basis of the opposition between perceptualism and critical realism. (shrink)

Proponents of the duty to vote (DTV) argue that in normal circumstances, citizens have the moral duty to vote in political elections. Discussions about DTV analyze _what_ the duty is, _who_ has this duty, _when_ they have it, and _why_ they have it. Missing are answers to the Specification Question: to _which_ elections does DTV apply? A dilemma arises for some supporters of DTV—in this paper, I focus on Julia Maskivker’s work—because either answer is problematic. First, I argue that it (...) is implausible that DTV applies to _all_ elections because this makes the duty too costly for the voter. Second, I argue that there are no good reasons why under normal circumstances DTV applies only to _some_ elections. I consider objections but conclude that the dilemma is successful and therefore the case for DTV is incomplete. (shrink)

These thirteen paragraphs portray epistemology as the study, not directly of knowing as a human action (which could be considered the object also of anthropology) but as the study of the mode of being of the object in the subject and, in this sense, of intentional being. Moreover, intentional being is not understood as the being of the cognitional species or representation, which is real and subjective, but as the being of the known, as the presence of the known to (...) the knower (obviously, through the species but a being not reduced to the subjective being of the species): this kind of being is the proper object of epistemology. Other considerations regarding the distinction between metaphysics and epistemology take place as well. As regards the method, this essay attempts to apply Aquinas’ four steps of scientific reasoning to epistemology, in the following fashion and order: 1- Solution of the problem of the universals by recourse to the theory of the agent intellect (resolutio secundum rem); 2- Definition of knowledge as intentional possession of being (res. sec. rationem); 3- Judgment of value regarding the different instances of human knowledge or critique of knowledge (compositio secundum rem) and 4- Reinterpretation (in the light of the previous path) of common notions of epistemology, such as truth, certainty, evidence, and error (comp. sec. rationem). (shrink)

Over the past fifteen years there has been a considerable amount of debate concerning what theoretical population dynamic models tell us about the nature of natural selection and drift. On the causal interpretation, these models describe the causes of population change. On the statistical interpretation, the models of population dynamics models specify statistical parameters that explain, predict, and quantify changes in population structure, without identifying the causes of those changes. Selection and drift are part of a statistical description of population (...) change; they are not discrete, apportionable causes. Our objective here is to provide a definitive statement of the statistical position, so as to allay some confusions in the current literature. We outline four commitments that are central to statisticalism. They are: 1. Natural Selection is a higher order effect; 2. Trait fitness is primitive; 3. Modern Synthesis (MS)-models are substrate neutral; 4. MS-selection and drift are model-relative. (shrink)

This thesis describes two classes of Dialectica categories. Chapter one introduces dialectica categories based on Goedel's Dialectica interpretation and shows that they constitute a model of Girard's Intuitionistic Linear Logic. Chapter two shows that, with extra assumptions, we can provide a comonad that interprets Girard's !-course modality. Chapter three presents the second class of Dialectica categories, a simplification suggested by Girard, that models (classical) Linear Logic and chapter four shows how to provide modalities ! and ? for this second class (...) of construction. (shrink)